LCF notation